ADIPLS -- the Aarhus adiabatic oscillation package

Development of the Aarhus adiabatic pulsation code started around 1978. Although the main features have been stable for more than a decade, development of the code is continuing, concerning numerical properties and output. The code has been provided as a generally available package and has seen substantial use at a number of installations. Further development of the package, including bringing the documentation closer to being up to date, is planned as part of the HELAS Coordination Action.Comment: Astrophys. Space Sci., in the pres

ASTEC -- the Aarhus STellar Evolution Code

The Aarhus code is the result of a long development, starting in 1974, and still ongoing. A novel feature is the integration of the computation of adiabatic oscillations for specified models as part of the code. It offers substantial flexibility in terms of microphysics and has been carefully tested for the computation of solar models. However, considerable development is still required in the treatment of nuclear reactions, diffusion and convective mixing.Comment: Astrophys. Space Sci, in the pres

A hybrid approach to conjunctive partial evaluation of logic programs

Conjunctive partial deduction is a well-known technique for the partial evaluation of logic programs. The original formulation follows the so called online approach where all termination decisions are taken on-the-fly. In contrast, offline partial evaluators first analyze the source program and produce an annotated version so that the partial evaluation phase should only follow these annotations to ensure the termination of the process. In this work, we introduce a lightweight approach to conjunctive partial deduction that combines some of the advantages of both online and offline styles of partial evaluation. © 2011 Springer-Verlag.This work has been partially supported by the Spanish Ministerio de Ciencia e Innovación under grant TIN2008-06622-C03-02 and by the Generalitat Valenciana under grant ACOMP/2010/042.Vidal Oriola, GF. (2011). A hybrid approach to conjunctive partial evaluation of logic programs. En Logic-Based Program Synthesis and Transformation. Springer Verlag (Germany). 6564:200-214. https://doi.org/10.1007/978-3-642-20551-4_13S2002146564Ben-Amram, A., Codish, M.: A SAT-Based Approach to Size Change Termination with Global Ranking Functions. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 218–232. Springer, Heidelberg (2007)Bruynooghe, M., De Schreye, D., Martens, B.: A General Criterion for Avoiding Infinite Unfolding during Partial Deduction of Logic Programs. In: Saraswat, V., Ueda, K. (eds.) Proc. 1991 Int’l Symp. on Logic Programming, pp. 117–131 (1991)Christensen, N.H., Glück, R.: Offline Partial Evaluation Can Be as Accurate as Online Partial Evaluation. ACM Transactions on Programming Languages and Systems 26(1), 191–220 (2004)Codish, M., Taboch, C.: A Semantic Basis for the Termination Analysis of Logic Programs. Journal of Logic Programming 41(1), 103–123 (1999)De Schreye, D., Glück, R., Jørgensen, J., Leuschel, M., Martens, B., Sørensen, M.H.: Conjunctive Partial Deduction: Foundations, Control, Algorihtms, and Experiments. Journal of Logic Programming 41(2&3), 231–277 (1999)Hruza, J., Stepánek, P.: Speedup of logic programs by binarization and partial deduction. TPLP 4(3), 355–380 (2004)Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs (1993)Leuschel, M.: Homeomorphic Embedding for Online Termination of Symbolic Methods. In: Mogensen, T.Æ., Schmidt, D.A., Sudborough, I.H. (eds.) The Essence of Computation. LNCS, vol. 2566, pp. 379–403. Springer, Heidelberg (2002)Leuschel, M.: The DPPD (Dozens of Problems for Partial Deduction) Library of Benchmarks (2007), http://www.ecs.soton.ac.uk/~mal/systems/dppd.htmlLeuschel, M., Elphick, D., Varea, M., Craig, S., Fontaine, M.: The Ecce and Logen Partial Evaluators and Their Web Interfaces. In: Proc. of PEPM 2006, pp. 88–94. IBM Press (2006)Leuschel, M., Vidal, G.: Fast Offline Partial Evaluation of Large Logic Programs. In: Hanus, M. (ed.) LOPSTR 2008. LNCS, vol. 5438, pp. 119–134. Springer, Heidelberg (2009)Lloyd, J.W., Shepherdson, J.C.: Partial Evaluation in Logic Programming. Journal of Logic Programming 11, 217–242 (1991)Somogyi, Z.: A System of Precise Modes for Logic Programs. In: Shapiro, E.Y. (ed.) Proc. of Third Int’l Conf. on Logic Programming, pp. 769–787. The MIT Press, Cambridge (1986

The Role of the Pediatric Nurse Practitioner in the Comprehensive Management of Pediatric Oncology Patients in the Inpatient Setting

The role of the pediatric nurse practitioner (PNP) in the comprehensive management of pediatric oncology patients in the inpatient setting was examined at a large tertiary teaching hospital. This article shows role responsibilities including new diagnosis teaching, procedures, routine chemotherapy, patients' comprehensive medical management, coordination of nursing care across settings, phone triage, and professional development. A PNP's typical day is highlighted to illustrate the innovative merging of traditional ambulatory care roles with that of the PNP as a comprehensive manager of pediatric oncology patients in the inpatient setting. This role provides a more seamless care experience and provides critical links in the delivery of health care to pediatric oncology patients.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/68349/2/10.1177_104345429901600202.pd

A Pre-Landing Assessment of Regolith Properties at the InSight Landing Site

This article discusses relevant physical properties of the regolith at the Mars InSight landing site as understood prior to landing of the spacecraft. InSight will land in the northern lowland plains of Mars, close to the equator, where the regolith is estimated to be ≥3--5 m thick. These investigations of physical properties have relied on data collected from Mars orbital measurements, previously collected lander and rover data, results of studies of data and samples from Apollo lunar missions, laboratory measurements on regolith simulants, and theoretical studies. The investigations include changes in properties with depth and temperature. Mechanical properties investigated include density, grain-size distribution, cohesion, and angle of internal friction. Thermophysical properties include thermal inertia, surface emissivity and albedo, thermal conductivity and diffusivity, and specific heat. Regolith elastic properties not only include parameters that control seismic wave velocities in the immediate vicinity of the Insight lander but also coupling of the lander and other potential noise sources to the InSight broadband seismometer. The related properties include Poisson’s ratio, P- and S-wave velocities, Young’s modulus, and seismic attenuation. Finally, mass diffusivity was investigated to estimate gas movements in the regolith driven by atmospheric pressure changes. Physical properties presented here are all to some degree speculative. However, they form a basis for interpretation of the early data to be returned from the InSight mission.Additional co-authors: Nick Teanby and Sharon Keda

Radiative properties of stellar plasmas and open challenges

The lifetime of solar-like stars, the envelope structure of more massive stars, and stellar acoustic frequencies largely depend on the radiative properties of the stellar plasma. Up to now, these complex quantities have been estimated only theoretically. The development of the powerful tools of helio- and astero- seismology has made it possible to gain insights on the interiors of stars. Consequently, increased emphasis is now placed on knowledge of the monochromatic opacity coefficients. Here we review how these radiative properties play a role, and where they are most important. We then concentrate specifically on the envelopes of $\beta$ Cephei variable stars. We discuss the dispersion of eight different theoretical estimates of the monochromatic opacity spectrum and the challenges we need to face to check these calculations experimentally.Comment: 6 pages, 5 figures, in press (conference HEDLA 2010

Moral courage in the workplace: moving to and from the desire and decision to act

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/72135/1/j.1467-8608.2007.00484.x.pd